A new audio device driver abstraction
نویسنده
چکیده
Traditional audio device drivers are unable to provide low latency audio services and often do not provide audio mixing services. High quality audio has, compared to other media types, relatively low bandwidth, but is very sensitive to latency and errors. This paper presents a device driver abstraction that exploits the low bandwidth and constantion that exploits the low bandwidth and constant bit rate of audio to provide multiple channels of low latency audio efficiently. It provides applications with a great deal of flexibility with regards to latency, blocking behaviour and
منابع مشابه
Lazy Abstraction with Interpolants
We describe a model checker for infinite-state sequential programs, based on Craig interpolation and the lazy abstraction paradigm. On device driver benchmarks, we observe a speedup of up to two orders of magnitude relative to a similar tool using predicate abstraction.
متن کاملThe FreeBSD Audio Driver
We recently developed an audio driver in the FreeBSD operating system. In this work, we decided to consider compatibility with existing software interfaces only as a secondary issue, to be implemented at a later time and only for those applications which could not be adapted to the new software interface. This turned out to be a signiicant advantage , since it let us design the driver (and part...
متن کاملDeriving Invariants by Algorithmic Learning, Decision Procedures, and Predicate Abstraction
By combining algorithmic learning, decision procedures, and predicate abstraction, we present an automated technique for finding loop invariants in propositional formulae. Given invariant approximations derived from preand post-conditions, our new technique exploits the flexibility in invariants by a simple randomized mechanism. The proposed technique is able to generate invariants for some Lin...
متن کاملHardware=software cosimulation from interface perspective
The aim is to explain the current issues of HW/SW cosimulation and to introduce a new challenge of HW/SW cosimulation for multiprocessor SoC (MPSoC). Most of the current issues are related to raising abstraction levels of HW/SW cosimulation. Mixed-level cosimulation is explained in a unified manner using a concept of ‘HW/SW interface’. First, abstraction levels in HW/SW cosimulation are explain...
متن کاملModelling of Device Driver Software by Reflection of the Device Hardware Structure
Embedded systems are highly optimised to operate in the physical world they are embedded to. Hence, dedicated peripheral devices are designed which need support by a device driver to raise the level of abstraction for the application programmer. Even with methods of hardware/software co-design, devices and drivers are still designed by two designer groups. This paper depicts a systematic approa...
متن کامل